menu: Use correct content height

diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c
index b8d4f5aa1c7845beaa80147f8affe6d86ee31f63..1fdecc2a51e17db3c204e7c69de8b6703634c79d 100644 (file)
--- a/gtk/gtkmenu.c
+++ b/gtk/gtkmenu.c
@@ -4079,14 +4079,10 @@ gtk_menu_move_current (GtkMenuShell         *menu_shell,
 static gint
 get_visible_size (GtkMenu *menu)
 {
-  GtkAllocation allocation;
-  GtkWidget *widget = GTK_WIDGET (menu);
   GtkBorder arrow_border;
   gint menu_height;
 
-  gtk_widget_get_allocation (widget, &allocation);
-
-  menu_height = allocation.height;
+  menu_height = gtk_widget_get_height (GTK_WIDGET (menu));
 
   get_arrows_border (menu, &arrow_border);
   menu_height -= arrow_border.top;